Rrframe-loc(x1)
== case x1 of 
== Rnone => 
== Rplus(left,right)=>rec1,rec2.
== Rinit(loc,T,x,v)=> 
== Rframe(loc,T,x,L)=> 
== Rsframe(lnk,tag,L)=> 
== Reffect(loc,ds,knd,T,x,f)=> 
== Rsends(ds,knd,T,l,dt,g)=> 
== Rpre(loc,ds,a,p,P)=> 
== Rkframe(loc,k,L)=> 
== Rksframe(loc,k,L)=> 
== Rrframe(loc,x,L)=> loc 

latex

Definitions	es realizer ind,
FDL editor aliases	Rrframe-loc